Share recovery system, share recovery apparatus, share recovery method, and program

ABSTRACT

An efficient share recovery technique for Shamir&#39;s secret sharing is provided. n share recovery apparatuses p 0 , . . . , p n−1  generate a share [r] i  of a secretly shared value shared through Shamir&#39;s secret sharing, which becomes a random number r when restored. k share recovery apparatuses σ 0 , . . . , σ k−1  calculate a share [b] i  by subtracting the share [r] i  from a share [a] i . The share recovery apparatus τ k  receives the shares [b] 0 , . . . , [b] k−1  from the share recovery apparatuses σ 0 , . . . , σ k−1 . The share recovery apparatus τ k  recovers shares [b] k , . . . , [b] k+m−1  using the shares [b] 0 , . . . , [b] k−1 . m−1 share recovery apparatuses τ k+1 , . . . , τ k+m−1  receive a share [b] j  from the share recovery apparatus τ k . m share recovery apparatuses τ k , . . . , τ k+m−1  calculate the share [a] j  by adding the share [r] j  to the share [b] j .

TECHNICAL FIELD

The present invention relates to a secret sharing technique, and, more particularly, to a technique of, in the case where part of shares among secretly shared values is lost, recovering the lost shares.

BACKGROUND ART

Secret sharing is a technique of converting data into a plurality of divided shared values and making it possible to restore original data by using a certain number or more shares and making it never possible to restore original data with less than the certain number of shares. It should be noted that a set of a plurality of secretly shared values is referred to as a shared value, and one piece among the shared values is referred to as a share. Examples of secret sharing include Shamir's secret sharing, replicated secret sharing, and the like.

Recovery is a method of reconstructing part of shares which cannot be utilized when part of shares is lost as a result of a party holding the shares being unable to be utilized, or the like, from a certain number of shares which can be utilized, without losing concealability. As a conventional art of recovery, for example, there are methods disclosed in Patent literature 1 and Non-patent literature 1.

PRIOR ART LITERATURE Patent Literature

-   Patent literature 1: Japanese Registered Patent No. 4305049

Non-Patent Literature

-   Non-patent literature 1: K. V. Rashmi, N. B. Shah, and P. V. Kumar,     “Optimal Exact-Regenerating Codes for Distributed Storage at the MSR     and MBR Points via a Product-Matrix Construction”, CoRR, vol.     abs/1005.4178, 2010.

SUMMARY OF THE INVENTION Problems to be Solved by the Invention

The conventional arts disclosed in Patent literature 1 and Non-patent literature 1 require dedicated coding. Therefore, the conventional arts cannot be applied to secret computation unlike with Shamir's secret sharing, or the like. Further, an average communication volume per party in the method of Patent literature 1 is O(n), and the method is low in efficiency.

In view of such circumstances, it is an object of the present invention to provide an efficient share recovery technique for Shamir's secret sharing.

Means to Solve the Problems

To solve the above-described problem, a share recovery system of the present invention is a share recovery system including n share recovery apparatuses p₀, . . . , p_(n−1), in which n≥2k−1, m≤n−k, i is an integer equal to or greater than 0 and less than k, j is an integer equal to or greater than k+1 and less than k+m, [a]₀, . . . , [a]_(n−1) are shares obtained by dividing information a into n pieces by Shamir's secret sharing, σ₀, . . . , σ_(k−1) are k share recovery apparatuses holding valid shares [a]₀, . . . , [a]_(k−1), τ_(k), . . . τ_(k+m−1) are m share recovery apparatuses holding invalid shares [a]_(k), . . . , [a]_(k+m−1), the share recovery apparatus σ_(i) includes a random number generating part configured to generate a share [r]_(i) of a secretly shared value [r] shared through Shamir's secret sharing, which becomes a random number r when restored, and a concealing part configured to calculate a share [b]_(i) of a secretly shared value [b] shared through Shamir's secret sharing, which becomes a value b when restored by subtracting the share [r]_(i) from the share [a]_(i), the share recovery apparatus τ_(k) includes a random number generating part configured to generate a share [r]_(k) of the secretly shared value [r] shared through Shamir's secret sharing, a share communication part configured to receive shares [b]₀, . . . , [b]_(k−1) of the secretly shared value [b] shared through Shamir's secret sharing from the share recovery apparatuses σ₀, . . . , σ_(k−1), a recovery part configured to recover the shares [b]_(k), . . . , [b]_(k+m−1) of the secretly shared value [b] shared through Shamir's secret sharing using the shares [b]₀, . . . , [b]_(k−1), and a restoring part configured to calculate a share [a]_(k) by adding a share [r]_(k) to the share [b]_(k), and the share recovery apparatus τ_(j) includes a random number generating part configured to generate a share [r]_(j) of the secretly shared value [r] shared through Shamir's secret sharing, a share communication part configured to receive a share [b]_(j) of the secretly shared value [b] shared through Shamir's secret sharing from the share recovery apparatus τ_(k), and a restoring part configured to calculate a share [a]_(j) by adding a share [r]_(j) to the share [b]_(j).

Effects of the Invention

In the share recovery technique of the present invention, a party average communication volume when shares of Shamir's secret sharing are recovered is one field element. Further, even in the case where a plurality of shares are lost, the average communication volume does not change. Therefore, according to the present invention, it is possible to efficiently recover shares of Shamir's secret sharing.

BRIEF DESCRIPTION OF THE DRAWINGS

FIG. 1 is a diagram illustrating a functional configuration of a share recovery system;

FIG. 2 is a diagram illustrating a functional configuration of a share recovery apparatus according to a first embodiment;

FIG. 3 is a diagram illustrating processing flow of a share recovery method according to the first embodiment;

FIG. 4 is a diagram illustrating a functional configuration of a share recovery apparatus according to a second embodiment;

FIG. 5 is a diagram illustrating a functional configuration of an inconsistency detecting part;

FIG. 6 is a diagram illustrating processing flow of a share recovery method according to the second embodiment; and

FIG. 7 is a diagram illustrating processing flow of an inconsistency detecting method.

DETAILED DESCRIPTION OF THE EMBODIMENTS

Before description of embodiments, notation in the present specification and a basic idea of the present invention will be described.

[Notation]

p_(i) indicates a party which holds the i-th share.

p=(p₀, . . . , p_(n−1)) indicates a set of the whole n parties which hold shares.

σ_(i)∈P indicates a party which holds a valid share and which is operating.

τ_(i)∈P indicates a party which loses a valid share and which fails to operate.

[▪]^(x) (square bracket) indicates a shared value of plain text ▪ shared through Shamir's secret sharing. x indicates an element count in plain text space. x=p can be indicated as [▪] by omitting x. p is a prime number which is an order of a group Z_(p).

[▪]_(i) indicates a share held by a party p_(i)∈P among secretly shared values [▪] shared through Shamir's secret sharing.

[Shamir's Secret Sharing]

Shamir's secret sharing is one of (k, n)-secret sharing. (k, n)-secret sharing is secret sharing in which shared values obtained by dividing input plain text into n pieces are held while shared in n parties, the plain text can be restored if arbitrary k shares are collected, and no information regarding the plain text can be obtained from less than k shares. At this time, n and k are integers equal to or greater than 1, and n=2k−1. See the following reference literature for details of Shamir's secret sharing.

-   [Reference literature 1] A. Shamir, “How to share a secret”,     Communications of the ACM, vol. 22(11), pp. 612-613, 1979.

In Shamir's secret sharing, a coordinate x_(i) is assigned to the i-th party p_(i), and information a is shared with the following formula using a random number r_(i).

$\begin{matrix} {\lbrack a\rbrack_{i} = {a + {\sum\limits_{1 \leq i < {k - 1}}\;{r_{i}x^{i}}}}} & \left\lbrack {{Formula}\mspace{14mu} 1} \right\rbrack \end{matrix}$

An advantage of Shamir's secret sharing is that a data volume is small. On the other hand, a disadvantage is that the number of elements of a field has to be equal to or greater than n+1, and mod 2 cannot be used.

Details of the embodiments of the present invention will be described below. It should be noted that the same reference numerals are assigned to components having the same functions in the drawing, and overlapped description will be omitted.

First Embodiment

A share recovery system according to the first embodiment includes n (≥3) share recovery apparatuses 1 ₁, . . . , 1 _(n) as illustrated in FIG. 1. In the present embodiment, the share recovery apparatuses 1 ₁, . . . , 1 _(n) are respectively connected to a communication network 2. The communication network 2 is a communication network in a circuit switching scheme or in a packet switching scheme configured so that the connected apparatuses can perform communication with each other, and, for example, the Internet, a LAN (Local Area Network), a WAN (Wide Area Network), or the like, can be used. It should be noted that each apparatus does not always have to perform communication online via the communication network 2. For example, it is also possible to employ a configuration where information to be input to the share recovery apparatus 1 _(i) (i∈{1, . . . , n}) is stored in a portable recording medium such as a magnetic tape and a USB memory and input offline from the portable recording medium.

As illustrated in FIG. 2, the share recovery apparatus 1 includes a share storage part 10, a random number generating part 11, a concealing part 12, a share communication part 13, a recovery part 14 and a restoring part 15.

The share recovery apparatus 1 is, for example, a special apparatus configured by a special program being loaded in a publicly known or dedicated computer having a central processing unit (CPU: Central Processing Unit), a main memory (RAM: Random Access Memory), or the like. The share recovery apparatus 1, for example, executes each processing under control of the central processing unit. Data input to the share recovery apparatus 1 and data obtained through each processing are, for example, stored in the main memory, and the data stored in the main memory is read out to the central processing unit as necessary to be utilized for other processing. At least part of processing parts of the share recovery apparatus 1 may be configured with hardware such as an integrated circuit.

The share storage part 10 of the share recovery apparatus 1 can be configured with, for example, a main memory such as a RAM (Random Access Memory), an auxiliary storage configured with a hard disk, an optical disk, or a semiconductor memory device such as a flash memory, or a middleware such as a relational database and a key-value store.

Processing procedure of a share recovery method according to the first embodiment will be described with reference to FIG. 3.

In the following description, it is assumed that σ₀, . . . , σ_(k−1) are k share recovery apparatuses arbitrarily selected from share recovery apparatuses which are operating, and τ_(k), . . . , τ_(k+m−1) (m≤n−k) are m share recovery apparatuses which fail to operate. That is, among secretly shared values [a] shared through Shamir's secret sharing of information a, shares [a]₀, . . . , [a]_(k−1) are valid shares, and [a]_(k), . . . , [a]_(k+m−1) are corrupted or lost shares. σ₀, . . . , σ_(k−1) and τ_(k), . . . , τ_(k+m−1) are signs logically indicating roles of the share recovery apparatuses, and which share recovery apparatuses 1 ₁, . . . , 1 _(n) correspond to which share recovery apparatuses σ₀, . . . , σ_(k−1) and τ_(k), . . . , τ_(k+m−1) is arbitrarily determined upon execution.

In the share storage parts 10 of at least k share recovery apparatuses σ_(i) (i=0, . . . , k−1), the i-th share [a]_(i) among shared values [a] obtained by dividing information a into n pieces through Shamir's secret sharing is stored. The information a is an element of a field F, and the field F is a set of numbers of mod p. It should be noted that p is a prime number.

In step S11, the random number generating parts 11 of n share recovery apparatuses p_(i) (i=0, . . . , n−1) generate a share [r]_(i) of a secretly shared value [r] shared through Shamir's secret sharing, which becomes a random number r when restored. The share [r]_(i) is transmitted to the concealing part 12 and the restoring part 15. The share [r]_(i) has to be generated in a state where the random number r is kept secret from all the share recovery apparatuses p_(i). For example, the share [r]_(i) can be generated as follows. First, each of the share recovery apparatuses p_(j) (j=0, . . . , n−1) generates a random number r_(j). Then, each of the share recovery apparatus p_(j) divides the random number r_(j) through Shamir's secret sharing to generate a shared value [r_(j)] of the random number r_(j). Each of the share recovery apparatuses p_(i) (i=0, . . . , n−1) calculates [r]_(i)=σ_(j<n)[r_(j)]_(i), to obtain a share [r]_(i) of the random number r. According to such a configuration, it is possible to obtain the share [r]_(i) of the random number r while none of the share recovery apparatuses p₀, . . . , p_(n−1) knows the random number r.

In step S12 _(i), the concealing parts 12 of k share recovery apparatuses σ_(i) (i=0, . . . , k−1) calculate a share [b]_(i) of Shamir's secret sharing by subtracting the share [r]_(i) output from the random number generating part 11 from the share [a]_(i) stored in the share storage part 10. That is, [b]_(i)=[a]_(i)−[r]_(i) is calculated. The share communication part 13 of the share recovery apparatus σ_(i) transmits the share [b]_(i) to the share recovery apparatus τ_(k). In step S13 _(k), the share communication part 13 of the share recovery apparatus τ_(k) receives k shares [b]₀, . . . , [b]_(k−1) from the share recovery apparatuses σ₀, . . . , σ_(k−1).

In step S14 _(k), the recovery part 14 of the share recovery apparatus τ_(k) recovers m shares [b]_(k), . . . , [b]_(k+m−1) using k shares [b]₀, . . . , [b]_(k−1) received from the share recovery apparatuses σ₀, . . . , σ_(k−1). The share communication part 13 of the share recovery apparatus τ_(k) transmits m−1 shares [b]_(j) (j=k+1, . . . , k+m−1) to the share recovery apparatus τ_(j). In step S13 _(j), the share communication part 13 of the share recovery apparatus τ_(j)=k+1, k+m−1) receives a share [b]_(j) from the share recovery apparatus τ_(k).

The recovery part 14 of the share recovery apparatus τ_(k) specifically recovers a share as follows. The recovery part 14 calculates the share [b]₁ using the following formula for j=k, k+m−1.

$\begin{matrix} {\lbrack b\rbrack_{j}:={\sum\limits_{i < k}\;{\lambda_{\sigma,i,j}\lbrack b\rbrack}_{i}}} & \left\lbrack {{Formula}\mspace{14mu} 2} \right\rbrack \end{matrix}$

Here, λσ_(,i,j) is a coefficient to be multiplied by a function value f(x_(i)) when a function value f(x_(j)) of a coordinate x_(j) is calculated from function values f(x₀), . . . , f(x_(k−1)) (=[a]₀, . . . , [a]_(k−1)) of coordinates x₀, . . . , x_(k−1) in publicly known Lagrange interpolation. λσ_(,i,j) can be calculated using the following formula.

$\begin{matrix} {\lambda_{\sigma,i,j} = {\prod\limits_{l < k}\;\frac{x_{j} - x_{l}}{x_{i} - x_{l}}}} & \left\lbrack {{Formula}\mspace{14mu} 3} \right\rbrack \end{matrix}$

In step S15 _(k), the restoring part 15 of the share recovery apparatus τ_(k) calculates a share [a]_(k) by adding the share [r]_(k) output from the random number generating part 11 to the share [b]_(k) output by the recovery part 14. That is, [a]_(k)=[b]_(k)+[r]_(k) is calculated. In a similar manner, in step S15 _(j), the restoring parts 15 of m−1 share recovery apparatuses τ_(j) (j=k+1, k+m−1) calculate a share [a]_(j) by adding the share [r]_(j) output from the random number generating part 11 to the share [b]_(j) received from the share recovery apparatus τ_(k). That is, [a]_(j)=[b]_(j)+[r]_(j) is calculated.

While, in the share recovery system and method according to the present embodiment, a random number r is used during processing, because this random number r is cancelled in the end, it is not necessary to generate a share of an operating party again when the share is recovered. Further, because the recovered share is identical with the share before being lost, data version management does not degrade.

Performance of the share recovery system and method according to the present embodiment is as follows. The communication volume is the number of bits calculated using the following formula, where m is the number of lost shares, and |p| is the number of bits required for expressing a prime number p.

$\begin{matrix} {\left( {k + m + \frac{n\left( {n - 1} \right)}{n - k + 1}} \right){p}} & \left\lbrack {{Formula}\mspace{14mu} 4} \right\rbrack \end{matrix}$

The total number of rounds is two. The generation amount of the random number is the number of bits calculated using the following formula.

$\begin{matrix} {\frac{n\left( {k - 1} \right)}{n - k + 1}{p}} & \left\lbrack {{Formula}\mspace{14mu} 5} \right\rbrack \end{matrix}$

Second Embodiment

A share recovery system according to the second embodiment includes n (≥3) share recovery apparatuses 3 ₁, . . . , 3 _(n) as illustrated in FIG. 1.

As illustrated in FIG. 4, the share recovery apparatus 3 _(i) (i=1, . . . , n) includes the share storage part 10, the random number generating part 11, the concealing part 12, the share communication part 13, the recovery part 14 and the restoring part 15 in a similar manner to the first embodiment, and further includes an inconsistency detecting part 16. As illustrated in FIG. 5, the inconsistency detecting part 16 includes a public random number generating part 161, a shared random number calculating part 162, a check sum calculating part 163, a random number shared value generating part 164, a judgment value calculating part 165, a judgment value communication part 166, a judgment value recovery part 167 and an inconsistency judging part 168.

Processing procedure of the share recovery method according to the second embodiment, mainly a difference with the processing procedure according to the first embodiment, will be described with reference to FIG. 6.

In step S16, the inconsistency detecting parts 16 of n share recovery apparatuses p_(i) (i=0, . . . , n−1) verify whether or not there is inconsistency in a shared value [a] of information a stored in the share storage part 10 and specify share recovery apparatuses τ_(k), . . . , τ_(k+m−1) having invalid shares. Further, at the same time, the inconsistency detecting parts 16 select k share recovery apparatuses σ₀, . . . , σ_(k−1) which are to recover shares among share recovery apparatuses having valid shares.

In processing after step S11, the share recovery apparatuses τ_(k), . . . , τ_(k+m−1) having invalid shares and k share recovery apparatuses σ₀, . . . , σ_(k−1) selected from n-m share recovery apparatuses having valid shares recover invalid shares using the method described in the first embodiment.

Processing procedure for detecting inconsistency of shared values by the inconsistency detecting part 16 will be described in more details with reference to FIG. 7.

In step S161, the public random number generating parts 161 of n share recovery apparatuses p_(i) (i=0, . . . , n−1) generate a random number s_(i). The generated random number s_(i) is opened to the public so as to be referred to from other n−1 share recovery apparatuses p_(i′) (i′=0, . . . , n−1, i≠i′).

In step S162, the shared random number calculating parts 162 of n share recovery apparatuses p_(i) calculate a shared random number s using the following formula using n random numbers s₀, . . . , s_(n−1) which are combination of random numbers s_(i) generated by the share recovery apparatuses p_(i) and random numbers s_(i′) opened to the public by other n−1 share recovery apparatuses p_(i′). s:=τ _(i<n) ^(s) ^(i)   [Formula 6]

In step S163, the check sum calculating parts 163 of n share recovery apparatuses p_(i) calculate a check sum [c]_(i) using the following formula using the shared random number s calculated by the shared random number calculating part 162 assuming that the share [a]_(i) stored in the share storage part 10 is [a]_(i):=[a₀]_(i), . . . , [a_(m−1)]_(i)). [c] _(i):=Σ_(j<m-1) ^(s) ^(j+1) [a _(j)]_(i) +s ^(m+1) [a _(m-1)]_(i)  [Formula 7]

In step S164, the random number shared value generating parts 164 of n share recovery apparatuses p_(i) generate a share [r′]_(i) of a secretly shared value [r′] shared through Shamir's secret sharing, which becomes a random number r′ when restored. As a method for generating the share [r′]_(i), it is only necessary to perform similar processing to that performed by the above-described random number generating part 11.

In step S165, the judgment value calculating parts 165 of the n share recovery apparatuses p_(i) calculate a share [d]_(i)=[c−r′]_(i) of a secretly shared value [d] shared through Shamir's secret sharing, which becomes a judgment value d when restored by subtracting the share [r′]_(i) generated by the random number shared value generating part 164 from the check sum [c]_(i) calculated by the check sum calculating part 163. Subtraction between shares can be performed without communication being performed between the share recovery apparatuses p₀, . . . , p_(n−1).

In step S166 a, the judgment value communication parts 166 of n−1 share recovery apparatuses p₁, . . . , p_(n−1) transmit the share [d]_(i) calculated by the judgment value calculating part 165 to the share recovery apparatus p₀. In step S166 b, the judgment value communication part 166 of the share recovery apparatus p₀ receives n−1 shares [d]₁, . . . , [d]_(n−1) from n−1 share recovery apparatuses p₁, . . . , p_(n−1).

In step S167, the judgment value recovery parts 167 of n share recovery apparatuses p_(i) recover n-k shares [d]′_(k), . . . , [d]′_(n−1) from k shares [d]₀, . . . [d]_(k−1). The shares can be recovered using Lagrange interpolation in a similar manner to the above-described recovery part 14.

In step S168, the inconsistency judging parts 168 of n share recovery apparatuses p_(i) judge whether or not the share [d]_(j′) received from the share recovery apparatus p_(j′) matches the recovered share [d]_(j′) for j′=k, . . . , n−1. If [d]_(j′)=[d]′_(j′) holds for all j′=k, . . . , n−1, it is judged that there is no inconsistency, while [d]_(j′)≠[d′_(j′)] for any of j′, it is judged that there is inconsistency. In the case where it is judged that there is no inconsistency, information indicating that there is no inconsistency (such as, for example, a judgment value d restored from k shares [d]₀, . . . , [d]_(k−1)) is output, and processing is finished.

In the case where it is judged that there is inconsistency, 2k−1 share recovery apparatuses are selected among n share recovery apparatuses p_(i), and inconsistency detection is repeated through processing procedure by the above-described inconsistency detecting part 16 for all combinations of 2k−1 share recovery apparatuses. By this means, it is possible to detect that a share held by the share recovery apparatus which performs processing in all the cases where inconsistency is detected is an invalid share.

According to the share recovery system and method according to the second embodiment, it is possible to recover a share even if all the share recovery apparatuses are operating, such as in the case where bits of a share are incidentally inverted and in the case where a share is falsified by an attacker. Particularly, while it is impossible to address an attack such as falsification of both a share itself and a hash value with a method of detecting falsification by calculating the hash value of the share itself, the method according to the present embodiment is effective because inconsistency can be detected unless all shares are falsified so as to make sense. Further, processing of the inconsistency detecting part is efficient because the communication volume is O(1) and the round number is O(1) regardless of a data volume of the share.

The present invention is not limited to the above-described embodiments, and it goes without saying that the present invention can be changed as appropriate within a range not deviating from the gist of the present invention. Various kinds of processing described in the above-described embodiments may be executed in parallel or individually according to processing capacity of an apparatus which executes the processing or as necessary in addition to being executed in time series according to the described order.

[Program, Recording Medium]

In the case where various kinds of processing functions in each apparatus described in the above-described embodiments are implemented with a computer, processing content of functions which each apparatus should have is described by a program. By this program being executed at the computer, various kinds of processing functions at each apparatus are implemented on the computer.

The program describing this processing content can be recorded in a computer readable recording medium. As the computer readable recording medium, any recording medium, for example, a magnetic recording apparatus, an optical disk, a magnetooptical recording medium, a semiconductor memory, or the like, can be used.

Further, this program is distributed by, for example, selling, transferring, lending, or the like, a portable recording medium such as a DVD and a CD-ROM in which the program is recorded. Still further, it is also possible to employ a configuration where this program is stored in a storage apparatus of a server computer, and the program is distributed by transferring the program from the server computer to other computers via a network.

A computer which executes such a program, for example, first, stores a program recorded in a portable recording medium or a program transferred from a server computer in a storage apparatus of the computer once. Then, upon execution of processing, this computer reads out the program stored in the recording medium of the computer and executes processing according to the read program. Further, as another execution form of this program, the computer may read out the program directly from the portable recording medium and execute processing according to the program, or, every time a program is transferred from a server computer to the computer, may sequentially execute processing according to the received program. Further, it is also possible to employ a configuration where the above-described processing is executed by, so-called ASP (Application Service Provider) type service, which implements processing function only with an execution instruction and acquisition of the result without the program being transferred from the server computer to the computer. It should be noted that the program in the present embodiment includes information equivalent to a program which is provided to be used for processing by an electronic computer (such as data which is not a direct command for the computer, but has property of specifying processing of the computer).

Further, while, in the present embodiment, the apparatus is configured by a predetermined program being executed on a computer, at least part of the processing content may be implemented with hardware. 

What is claimed is:
 1. A share recovery system including n share recovery apparatuses p₀, . . . , p_(n−1) that recovers m invalid shares [a]_(k), . . . , [a]_(k+m−1) usking k valid shares [a]₀, . . . , [a]_(k−1) without updating k valid shares [a]₀, . . . , [a]_(k−1), in which n≥2k−1, m≤n−k, i is an integer equal to or greater than 0 and less than k, j is an integer equal to k+1 and less than k+m, [a]₀, . . . , [a]_(n−1) are shares obtained by dividing information a into n pieces through Shamir's secret sharing, σ₀, . . . , σ_(k−1) are k share recovery apparatuses holding valid shares [a]₀, . . . , [a]_(k−1), and τ_(k), . . . , τ_(k+m-1) are m share recovery apparatuses holding invalid shares [a]_(k), . . . , [a]_(k+m−1), the share recovery apparatus σ_(i) includes: first circuitry configured to: generate a share [r]_(i) of a secretly shared value [r]shared through Shamir's secret sharing, which becomes a random number r when restored; and calculate a share [b]_(i) of a secretly shared value [b] shared through Shamir's secret sharing, which becomes a value b when restored by subtracting the share [r]_(i) from the share [a]_(i), the share recovery apparatus τ_(k) includes: second circuitry configured to: generate a share [r]_(k) of the secretly shared value [r] shared through Shamir's secret sharing; receive shares [b]₀, . . . , [b]_(k−1) of the secretly shared value [b] shared through Shamir's secret sharing from the share recovery apparatuses σ₀, . . . , σ_(k−1); recover shares [b]_(k), . . . , [b]_(k+m−1) of the secretly shared value [b] shared through Shamir's secret sharing by obtaining [b]_(j′) through Lagrange interpolation using the shares [b]₀, . . . , [b]_(k−1) for j′=k, . . . , k+m−1; and calculate the share [a]_(k) by adding the share [r]_(k) to the share [b]_(k), and the share recovery apparatus τ_(j) includes: third circuitry configured to: generate a share [r]_(j) of the secretly shared value [r] shared through Shamir's secret sharing; receive a share [b]_(j) of the secretly shared value [b] shared through Shamir's secret sharing from the share recovery apparatus τ_(k); and calculate the share [a]_(j) by adding the share [r]_(j) to the share [b]_(j).
 2. The share recovery system according to claim 1, wherein the share recovery apparatuses p₀, . . . , p_(n−1) further comprise: fourth circuitry configured to: generate a random number s_(i) and make the random number s_(i) open to the public; generate a shared random number s which is a sum of the random numbers s₀, . . . , s_(n−1); calculate share [c]_(i)=σ_(i≤m)s^(i+1)[a]_(i) using the shared random number s and the share [a]_(i); generate a share [r′]_(i) of a secretly shared value [r′] shared through Shamir's secret sharing, which becomes a random number r′ when restored; calculate a share [d]_(i) of a secretly shared value [d] shared through Shamir's secret sharing, which becomes a judgment value d when restored by subtracting the share [r′]_(i) from the share [c]_(i); recover n−k shares [d]′_(k), . . . , [d]′_(n−1) from k shares [d]₀, . . . , [d]_(k−1); and judge whether or not the share [d]_(h) matches the share [d]′_(h) for h=k, . . . , n−1.
 3. A share recovery apparatus used in a share recovery system that recovers m invalid shares [a]_(k), . . . , [a]_(k+m−1) using k valid shares [a]₀, . . . , [a]_(k−1) without updating k valid shares [a]₀, . . . , [a]_(k−1), in which n≥2k−1, m≤n−k, including: circuitry configured to: generate a share [r]_(k) of a secretly shared value [r] shared through Shamir's secret sharing, which becomes a random number r when restored; receive shares [b]₀, . . . , [b]_(k−1) of a secretly shared value [b] shared through Shamir's secret sharing, which becomes a value b when restored from k share recovery apparatuses σ₀, . . . , σ_(k−1); recover shares [b]_(k), . . . , [b]_(k+m−1) of the secretly shared value [b] shared through Shamir's secret sharing by obtaining [b]_(j′) through Lagrange interpolation using the shares [b]₀, . . . , [b]_(k−1) for j′=k, . . . , k+m−1; and calculate a share [a]_(k) of a secretly shared value [a] shared through Shamir's secret sharing obtained by dividing information a into n pieces through Shamir's secret sharing by adding the share [r]_(k) to the share [b]_(k).
 4. A share recovery method that recovers m invalid shares [a]_(k), . . . , [a]_(k+m−1) using k valid shares [a]₀, . . . , [a]_(k−1) without updating k valid shares [a]₀, . . . , [a]_(k−1) in which n≥2k−1, m≤n−k, i is an integer equal to or greater than 0 and less than k, j is an integer equal to or greater than k+1 and less than k+m, i′ is an integer equal to or greater than 0 and less than n, j′ is an integer equal to or greater than k and less than k+m, [a]₀, . . . [a]_(n−1) are shares obtained by dividing information a into n pieces through Shamir's secret sharing, σ₀, . . . , σ_(k−1) are k share recovery apparatuses holding valid shares [a]₀, . . . , [a]_(k−1), and τ_(k), . . . , τ_(k+m−1) are m share recovery apparatuses holding invalid shares [a]_(k), . . . , [a]_(k+m−1), the method including: generating a share [r]_(i′) of a secretly shared value [r] shared through Shamir's secret sharing, which becomes a random number r when restored by circuitry of n share recovery apparatuses p_(i′); calculating a share [b]_(i) of a secretly shared value [b] shared through Shamir's secret sharing, which becomes a value b when restored by subtracting the share [r]_(i) from the share [a]_(i) by circuitry of k share recovery apparatuses σ_(i); receiving shares [b]₀, . . . , [b]_(k−1) of the secretly shared value [b] shared through Shamir's secret sharing from the share recovery apparatuses σ₀, . . . , σ_(k−1) by circuitry of the share recovery apparatus τ_(k); recovering shares [b]_(k), . . . , [b]_(k+m−1) of the secretly shared value [b] shared through Shamir's secret sharing by obtaining [b]_(j′) through Lagshare interpolation using the shares [b]₀, . . . , [b]_(k−1) for j′=k, . . . , k+m−1 by circuitry of the share recovery apparatus τ_(k); receiving the share [b]_(j) from the share recovery apparatus τ_(k) by circuitry of m−1 share recovery apparatuses τ_(j); and calculating the share [a]_(j′) by adding the share [r]_(j′) to the share [b]_(j′) by circuitry of m share recovery apparatuses τ_(j′).
 5. A non-transitory computer readable medium including computer executable instructions that make a share recovery apparatus perform a method that recovers m invalid shares [a]_(k), . . . , [a]_(k+m−1) using k valid shares [a]₀, . . . , [a]_(k−1) without updating k valid shares [a]₀, . . . , [a]_(k−1), in which n≥2k−1, m≤n−k, including: generating a share [r]_(k) of a secretly shared value [r] shared through Shamir's secret sharing, which becomes a random number r when restored; receiving shares [b]₀, . . . , [b]_(k−1) of a secretly shared value [b] shared through Shamir's secret sharing, which becomes a value b when restored from k share recovery apparatuses σ₀, . . . , σ_(k−1); recovering shares [b]_(k), . . . , [b]_(k+m−1) of the secretly shared value [b] shared through Shamir's secret sharing by obtaining [b]_(j′) through Lagrange interpolation using the shares [b]₀, . . . , [b]_(k−1) for j′=k, . . . , k+m−1; and calculating a share [a]_(k) of a secretly shared value [a] shared through Shamir's secret sharing obtained by dividing information a into n pieces through Shamir's secret sharing by adding the share [r]_(k) to the share [b]_(k). 